<HTML><HEAD><TITLE>lp_cleanup(+Handle)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(eplex)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>lp_cleanup(+Handle)</H1>
Destroy the specified solver Handle and clean up.
<DL>
<DT><EM>Handle</EM></DT>
<DD>Handle to a solver state
</DD>
</DL>
<H2>Description</H2>
<P>
    Destroy the specified solver, free all memory, etc.  Note that ECLiPSe
    will normally do the cleanup automatically, for instance when execution
    fails across the solver setup, or when a solver handle gets garbage
    collected.
</P><P>
    This predicate should be used with caution as the information from the
    solver state will no longer be available. In particular, if the program
    backtracks to a point between the problem set up and clean up,
    accessing the solver state directly or indirectly (e.g. unifying a
    problem variable) will result in a stale handle error. 
</P>

</BODY></HTML>
